Nie moemy natomiast symbolu [~] zastpi znakiem [~], otrzymamy bowiem wtedy wyraenie [~], ktre nie jest poprawn formu matematyczn. A wic i w przypadku formu matematycznych moemy operowa pojciem kategorii syntaktycznej. Oczywicie przy kadym takim podstawieniu zmieniamy sens zdania lub formuy, lecz jak ju to kilkakrotnie podkrelalimy, sensem zda chwilowo si nie interesujemy. Struktura zdania natomiast przy takich podstawieniach pozostaje bez zmiany. 